act($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$act(kind($e$))